What can be verified locally?
نویسندگان
چکیده
منابع مشابه
What Can Be Verified Locally?
We are considering distributed network computing, in which computing entities are connected by a network modeled as a connected graph. These entities are located at the nodes of the graph, and they exchange information by message-passing along its edges. In this context, we are adopting the classical framework for local distributed decision, in which nodes must collectively decide whether their...
متن کاملWhat Can Be Computed Locally?
1 Summary The paper [1] deals with locality on several levels: It introduces a model for distributed computations and the notion of locally checkable labelings (LCLs). It proves properties about algorithms for locally checkable labeling problems. Two algorithms are analyzed in detail: One for the Weak Coloring problem and one for the Formal Dining Philosophers problem. The paper shows fundament...
متن کاملWhat Can be Sampled Locally?
The local computation of Linial [FOCS’87] and Naor and Stockmeyer [STOC’93] concerns with the question of whether a locally definable distributed computing problem can be solved locally: more specifically, for a given local CSP whether a CSP solution can be constructed by a distributed algorithm using local information. In this paper, we consider the problem of sampling a uniform CSP solution b...
متن کاملQuantum theory can be collectively verified
No theory of physics has been collectively scientifically verified in an experiment so far. It is pointed out that probabilistic structure of quantum theory can be collectively scientifically verified in an experiment. It is also argued that experimentalist’s point of view quantum theory is a complete theory. Generally, a proposed theory of physics is accepted by scientific community when it is...
متن کاملO5: Technical Accident Reconstruction-What Can be Learned to Improve Medical Treatment in Trauma Patients
Annually, more than 1 million people were killed in road traffic accidents worldwide every year and an uncounted number were severe injured. In 2012 fatal injuries caused by road traffic accidents are under the top ten lists of causes of death in the world. It´s expected that in the near future road traffic accidents become one of the main causes of death in the world. Most of these fatal injur...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computer and System Sciences
سال: 2018
ISSN: 0022-0000
DOI: 10.1016/j.jcss.2018.05.004